#include "syscall.h"

/*
	putInt test file:
	should print 12345, 12346, 12347 and 12348
*/

void print(int n, int rep) {
  int i;
  for (i = 0; i < rep; i++) {
    PutInt(n + i);
    PutChar('\n');
  }
  PutChar('\n');
}

int main() {
  print(12345, 4);
  return 0;
}
